Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
611	The following sections have been generated by the PI. The total page limit for these sections is 6 ⨉ A4 pages. Font size should not be less than 10 points. SCIENTIFIC RATIONALE This section needs to discu Add to Reading List Source URL: astronomers.salt.ac.za Language: English - Date: 2014-12-09 03:33:32 Cross-platform software Programming language theory Computing Software engineering C
612	EPOS PP FINAL MEETING: Towards EPOS Implementation Phase and BeyondOctober 2014 – Rome \| Venue: INGV headquarters Preliminary programme Day 1 – October 22nd 2014 – 12:00-14:30 Add to Reading List Source URL: www.epos-eu.org Language: English - Date: 2014-09-23 09:53:50 Epos ALGOL 68 Software engineering Computing Programming language theory Montre Epos SA Epos Ltd
613	The following sections have been generated by the PI. The total page limit for these sections is 6 ⨉ A4 pages. Font size should not be less than 10 points. 15. SCIENTIFIC RATIONALE This section needs to discuss the sci Add to Reading List Source URL: astronomers.salt.ac.za Language: English - Date: 2014-12-09 03:33:33 Cross-platform software Programming language theory Computing Software engineering C
614	Public Disclosure Copy The World Bank Implementation Status & Results Report India: ICDS Systems Strengthening & Nutrition Improvement Program (ISSNIP) (P121731) Add to Reading List Source URL: www-wds.worldbank.org Language: English - Date: 2015-04-14 14:16:32 Child development Child welfare Healthcare in India Integrated Child Development Services APL ALGOL 68 Computing Software engineering Programming language theory
615	The Lost Group Chart and Related Problems∗ Tom Verhoeff 1 Introduction Last year, Marga and I bought ourselves a new home. This solved our problem of room shortage but created others . . . Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 1998-01-22 06:28:27 Electromagnetism Programming language theory Human–machine interaction Railroad switch AC power plugs and sockets ALGOL 68 Summation Clos network Switches Electrical wiring Electrical engineering
616	php \| tek - Chicago, May 20-23, 2008 Coding For Success: Writing software you will be able to understand next month Add to Reading List Source URL: www.procata.com Language: English - Date: 2009-09-27 16:51:03 Software engineering Programming language theory Cross-platform software Computing C
617	IP 138 Description: L/HIRF Terminology Add to Reading List Source URL: www.easa.europa.eu Language: English - Date: 2015-05-09 12:07:36 Computing ALGOL 68 Software engineering Programming language theory HIRF IP address
618	N1863: Proposed resolution of DR423 underspecification for qualified rvalues Blaine Garst September 20, 2014 The committee reached substantial agreement on this DR in October of last year, with Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-09-22 14:34:53 Type theory Computer data Value Expression C Software engineering Computing Programming language theory
619	Multi-Stage Programming: Its Theory and Applications Walid Taha B.S. Computer Science and Engineering, 1993, Kuwait University. Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-09-07 10:26:57 Computer science Models of computation Theoretical computer science Formal methods Computability theory Lambda calculus Actor model Type safety Programming language Software engineering Computing Programming paradigms
620	Technical Report UCAM-CL-TR-568 ISSNNumber 568 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 16:56:16 Logic in computer science Models of computation Programming language semantics Type theory Lambda calculus Name binding Type system Operational semantics Programming language Theoretical computer science Programming language theory Software engineering

UPDATE